0b00e52cca8abc7183912a3f7fa1a8acca214e67,src/gr/uom/java/ast/decomposition/cfg/mapping/PreconditionExaminer.java,PreconditionExaminer,processNonMappedNode,#PDG#NodeMapping#PDGNode#TreeSet#TreeSet#TreeSet#TreeSet#,2519
Before Change
}
}
else if(movableNonMappedNodeAfterLastMappedNode) {
if(controlParentExaminesVariableUsedInNonMappedNode(node, removableNodes)) {
PreconditionViolation violation = new StatementPreconditionViolation(node.getStatement(),
PreconditionViolationType.UNMATCHED_STATEMENT_CANNOT_BE_MOVED_BEFORE_THE_EXTRACTED_CODE_DUE_TO_CONTROL_DEPENDENCE);
nodeMapping.addPreconditionViolation(violation);
After Change
}
}
else if(movableNonMappedNodeAfterLastMappedNode) {
if(controlParentExaminesVariableUsedInNonMappedNode(node, removableNodes) && !isLastNonMappedNode(removableNodes, node)) {
PreconditionViolation violation = new StatementPreconditionViolation(node.getStatement(),
PreconditionViolationType.UNMATCHED_STATEMENT_CANNOT_BE_MOVED_BEFORE_THE_EXTRACTED_CODE_DUE_TO_CONTROL_DEPENDENCE);
nodeMapping.addPreconditionViolation(violation);